Guarded recursive types in type theory
- Författare
- Andrea Vezzosi
- (Andrea Vezzosi., Licentiatavhandling Göteborg : Chalmers tekniska högskola, 2015)
- Genre
- theses, Avhandlingar
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Chalmers University of Technology | 2015 | Sverige, Göteborg | 50 sidor. ill. |